DEFINITION RandomInt;

PROCEDURE Init;
PROCEDURE NextInt(): INTEGER;

END RandomInt.
